Klaus Lucas's Documents

Klaus Lucas's Documents

SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
Read more
The Mechanics of Solids and Structures - Hierarchical Modeling and the Finite Element Solution

The Mechanics of Solids and Structures - Hierarchical Modeling and the Finite Element Solution
Read more
Corporate Ethics and Corporate Governance

Corporate Ethics and Corporate Governance
Read more
Advances in Algebraic Quantum Field Theory

Advances in Algebraic Quantum Field Theory
Read more
Model Checking Software, 15 conf

Model Checking Software, 15 conf
Read more
Buchführung - Grundlagen - Übungen - Klausurvorbereitung, 2. Auflage

Buchführung - Grundlagen - Übungen - Klausurvorbereitung, 2. Auflage
Read more
Davvin 1. Nordsamisk for nybegynnere

Davvin 1. Nordsamisk for nybegynnere
Read more
Mathematical Formulas for Economists

Mathematical Formulas for Economists
Read more
Die Schlange mit den Bernsteinaugen

Die Schlange mit den Bernsteinaugen
Read more
GK2 Komapkt - Das Zweite, Chirurgie, Orthopädie, Urologie

GK2 Komapkt - Das Zweite, Chirurgie, Orthopädie, Urologie
Read more
Complex and Differential Geometry

Complex and Differential Geometry
Read more
Mathematical formulas for economists

Mathematical formulas for economists
Read more
GK2 Kompakt - Das Zweite, Gesundheitsstörungen

GK2 Kompakt - Das Zweite, Gesundheitsstörungen
Read more
Polymer Composites: From Nano- to Macro-Scale

Polymer Composites: From Nano- to Macro-Scale
Read more
Compendium of Quantum Physics: Concepts, Experiments, History and Philosophy

Compendium of Quantum Physics: Concepts, Experiments, History and Philosophy
Read more
Socionics - Scalability of Complex Social Systems

Socionics - Scalability of Complex Social Systems
Read more
Molekularmedizinische Grundlagen von para- und autokrinen Regulationsstörungen (Molekulare Medizin)

Molekularmedizinische Grundlagen von para- und autokrinen Regulationsstörungen (Molekulare Medizin)
Read more
Ecumenical Theology in Worship, Doctrine, and Life: Essays Presented to Geoffrey Wainwright on his Sixtieth Birthday

Ecumenical Theology in Worship, Doctrine, and Life: Essays Presented to Geoffrey Wainwright on his Sixtieth Birthday
Read more
Enhancing Regional Trade Integration in Southeast Europe (World Bank Working Papers)

Enhancing Regional Trade Integration in Southeast Europe (World Bank Working Papers)
Read more
Intelligent computer mathematics: Calculemus 2009 and MKM2009

Intelligent computer mathematics: Calculemus 2009 and MKM2009
Read more
Residuos Organicos y Agricultura Spanish

Residuos Organicos y Agricultura Spanish
Read more
Biologie des Menschen. (Lernmaterialien)

Biologie des Menschen. (Lernmaterialien)
Read more
Ethische Probleme einer Langfristigen Globalen Energieversorgung

Ethische Probleme einer Langfristigen Globalen Energieversorgung
Read more
Biologie des Menschen. (Lernmaterialien)

Biologie des Menschen. (Lernmaterialien)
Read more
Checkliste Padiatrie, 3. Auflage

Checkliste Padiatrie, 3. Auflage
Read more
Exploring Leadership: For College Students Who Want to Make a Difference (Jossey Bass Higher and Adult Education Series)

Exploring Leadership: For College Students Who Want to Make a Difference (Jossey Bass Higher and Adult Education Series)
Read more
The Historical Roots of Elementary Mathematics

The Historical Roots of Elementary Mathematics
Read more
Materials with Complex Behaviour: Modelling, Simulation, Testing, and Applications (Advanced Structured Materials, 3)

Materials with Complex Behaviour: Modelling, Simulation, Testing, and Applications (Advanced Structured Materials, 3)
Read more
Computer Vision Systems: Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings

Computer Vision Systems: Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings
Read more
Attention and Performance in Computational Vision: Second International Workshop, WAPCV 2004, Prague, Czech Republic, May 15, 2004, Revised Selected Papers ... Vision, Pattern Recognition, and Graphics)

Attention and Performance in Computational Vision: Second International Workshop, WAPCV 2004, Prague, Czech Republic, May 15, 2004, Revised Selected Papers ... Vision, Pattern Recognition, and Graphics)
Read more